N - Version Programming Robert Hanmer Alcatel - Lucent 1960 Lucent Lane Naperville , IL 60566 USA + 1 630 979 4786 hanmer

نویسندگان

  • Robert Hanmer
  • Algirdas Avizienis
چکیده

With N-Version Programming, NVP, independent development teams use the same specification to generate multiple implementations. During development the design teams are kept separate and do not share their designs nor do they discuss the specification’s meaning with each other. The design teams should use different algorithms and different programming languages to produce multiple versions that contain different faults from the other versions.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Propagation Models and Analysis for Mobile Phone Data Analytics

People in modern society use mobile phones as their primary way to retrieve information and to connect with others across the globe. The kinds of connections these devices support give rise to networks at many levels, from those among devices connected by near-field radio or bluetooth, to society-wide networks of phone calls made between individuals. This chapter introduces state-of-the-art pro...

متن کامل

Exploiting millimeter wave bands and optical controls for efficient Gigabit Wireless Communications

1 Alcatel-Lucent Italia – Wireless Transmission Division (WTD) [email protected], 2 Alcatel-Lucent Italia CTO Technology Program [email protected] 3 I.U.I. Centro de Tecnología Nanofotónica Universidad Politécnica de Valencia [email protected] 4 Università del Sannio – Facoltà di Ingegneria – Cátedra in Optoelettronica [email protected] 5 Alcatel-Lucent Ita...

متن کامل

Computer systems availability evaluation using a segregated failures model

Research ComputerSystemsAvailability EvaluationUsingaSegregated FailuresModel Sergiy A. Vilkomir1,∗,†, David L. Parnas2, Veena B. Mendiratta3 and Eamonn Murphy4 1Software Quality Research Laboratory (SQRL), Department of Electrical Engineering and Computer Science, University of Tennessee, Knoxville, TN, U.S.A. 2Software Quality Research Laboratory (SQRL), Department of Computer Science and Inf...

متن کامل

Spatially probed electron-electron scattering in a two-dimensional electron gas

M. P. Jura,1,* M. Grobis,2,† M. A. Topinka,2,3,‡ L. N. Pfeiffer,4,§ K. W. West,4,§ and D. Goldhaber-Gordon2, 1Department of Applied Physics, Stanford University, Stanford, California 94305, USA 2Department of Physics, Stanford University, Stanford, California 94305, USA 3Department of Materials Science & Engineering, Stanford University, Stanford, California 94305, USA 4Bell Labs, Alcatel-Lucen...

متن کامل

Orbit Gap in a One-Dimensional Quantum Wire’:

C. H. L. Quay, T. L. Hughes, J. A. Sulpizio, L. N. Pfeiffer, K. W. Baldwin, K. W. West, D. Goldhaber-Gordon, R. de Picciotto Physics Department, Stanford University, Stanford, CA 94305-4060, USA Bell Labs, Alcatel Lucent, Murray Hill, NJ 07974, USA Present address : Laboratoire de Physique des Solides (CNRS UMR 8502), Bâtiment 510, Université Paris-Sud, 91405 Orsay, France. Present address: Phy...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2009